61. فلسفه رياضي: کلاسيک, مدرن, پست مدرن
پدیدآورنده : محمد صال مصلحيان, ويراستار مجيد ميرزا وزيري
موضوع : رياضيات فلسفه منطق رياضي رياضيات -- فلسفه -- تاريخ
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
62. فلسفه رياضي : كلاسيك، مدرن، پست مدرن
پدیدآورنده : صال مصلحيان، محمد
کتابخانه: کتابخانه عمومی حسینیه ارشاد (طهران)
موضوع : رياضيات - فلسفه ◄ رياضيات - فلسفه - تاريخ ◄ منطق رياضي
رده :
510
/1
ص
336
ف
63. فلسفه ریاضیات
پدیدآورنده : مایکل دامت
کتابخانه: مكتبة الشيخ بهائي (خراسان رضوی)
موضوع : ریاضیات^aفلسفه,منطق ریاضی
رده :
QA
۸
/
۴
/
د
۲،
ف
۸
64. فلسفه ریاضیات
پدیدآورنده : دامت Dummett ، مایکل ا. ای. , Michael A. E.
کتابخانه: (کرمان)
موضوع : ریاضیات, Mathematics, منطق ریاضی, Logic, Symbolic and mathematical
رده :
QA
8/4
/
د
2
ف
8
1397
65. فلسفه رياضيات
پدیدآورنده : دامت، مايكل ا. اي.
کتابخانه: کتابخانه عمومی حسینیه ارشاد (طهران)
موضوع : رياضيات - فلسفه ◄ منطق رياضي
رده :
510
/1
د
228
ف
66. فلسفه ریاضیات
پدیدآورنده : مایکل دامت,دامت,Dummett
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه تهران (طهران)
موضوع : ریاضیات,Mathematics,منطق ریاضی,Logic, Symbolic and mathematical, -- فلسفه, -- Philosophy,a01,a02
رده :
QA
۸
/
۴
/
د
۲
ف
۸ ۱۳۹۶
67. فلسفه ریاضیات Frege. Philosophy of mathematics
پدیدآورنده : دامت، مایکل ا. ای.، ۱۹۲۵ -
کتابخانه: (قم)
موضوع : ریاضیات -- فلسفه,منطق ریاضی
رده :
QA
۹
/
د
۲
/
ف
۸
68. فلسفه علم، فلسفه منطق و فلسفه ریاضی در قرن بیستم
پدیدآورنده : نویسنده [صحیح = ویراستار] س.ج. شنکر مترجم ابوالفضل حقیری
کتابخانه: مدرسة نواب اللاهوتية العليا (خراسان رضوی)
موضوع : علوم -- فلسفه -- تاریخ -- قرن ۲۰م,منطق -- تاریخ -- قرن ۲۰م,ریاضیات -- فلسفه -- تاریخ -- قرن ۲۰م,فلسفه و علم -- تاریخ -- قرن ۲۰م,فلسفه جدید -- قرن ۲۰م
رده :
Q
۱۷۴
/
۸
/
ش
۸،
ف
۸ ۱۳۹۲
69. فلسفه علم، فلسفه منطق و فلسفه ریاضی در قرن بیستم
پدیدآورنده : نویسنده ]صحیح = ویراستار[ س.ج. شنکرمترجم ابوالفضل حقیری
کتابخانه: كتابخانه دفتر تبليغات اسلامي اصفهان (أصبهان)
موضوع : علوم -- فلسفه -- تاریخ -- قرن ۲۰م,منطق -- تاریخ -- قرن ۲۰م,ریاضیات -- فلسفه -- تاریخ -- قرن ۲۰م,فلسفه و علم -- تاریخ -- قرن ۲۰م,فلسفه جدید -- قرن ۲۰م
رده :
Q
۱۷۴
/
۸
/
ف
۸ ۱۳۹۲
70. فلسفه علم، فلسفه منطق و فلسفه ریاضی در قرن بیستم
پدیدآورنده : ویراستار استوارت جی. شنکر
کتابخانه: كتابخانه امام صادق (ع) (حوزه علميه) (قزوین)
موضوع : علوم -- فلسفه -- تاریخ -- قرن ۲۰م,منطق -- تاریخ -- قرن ۲۰م,ریاضیات -- فلسفه -- تاریخ -- قرن ۲۰م,فلسفه و علم -- تاریخ -- قرن ۲۰م,فلسفه جدید -- قرن ۲۰م
رده :
Q
۱۷۴،
/
۸
/
ف
۸ ۱۳۹۲
71. فلسفه علم، فلسفه منطق و فلسفه ریاضی در قرن بیستم
پدیدآورنده : نویسنده ]صحیح = ویراستار[ س.ج. شنکر؛ مترجم ابوالفضل حقیری
کتابخانه: المكتبة المركزية ومركز المعلومات (خراسان رضوی)
موضوع : علوم -- فلسفه -- تاریخ -- قرن ۲۰م.,منطق -- تاریخ -- قرن ۲۰م,ریاضیات -- فلسفه -- تاریخ -- قرن ۲۰م,فلسفه و علم -- تاریخ -- قرن ۲۰م,فلسفه جدید -- قرن ۲۰م.
رده :
Q
۱۷۴
/
۸
/
ف
۸ ۱۳۹۲
72. فلسفه علم، فلسفه منطق و فلسفه ریاضی در قرن بیستم
پدیدآورنده :
موضوع : علوم - فلسفه - تاریخ - قرن ۲۰م.,منطق - تاریخ - قرن ۲۰م,ریاضیات - فلسفه - تاریخ - قرن ۲۰م,فلسفه و علم - تاریخ - قرن ۲۰م,فلسفه جدید - قرن ۲۰م.
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
73. فلسفه علم، فلسفه منطق و فلسفه ریاضی در قرن بیستم
پدیدآورنده : / نویسنده [صحیح = ویراستار] س.ج. شنکر,عنوان اصلی به زبان اصلی: Philosophy of science, logic, and mathematics in the twentieth century , 1996.
کتابخانه: المكتبة المركزية لجامعة إيلام (إیلام)
موضوع : علوم -- فلسفه -- تاریخ -- قرن ۲۰م,منطق -- تاریخ -- قرن ۲۰م,ریاضیات -- فلسفه -- تاریخ -- قرن ۲۰م,فلسفه و علم -- تاریخ -- قرن ۲۰م,فلسفه جدید -- قرن ۲۰م
رده :
Q
۱۷۴
/
۸
/
ف
۸ ۱۳۹۲
74. فلسفه علم، فلسفه منطق و فلسفه ریاضی در قرن بیستم
پدیدآورنده : نویسنده ]&صحیح = ویراستار[اس.ج. شنکر
موضوع : علوم -- فلسفه -- تاریخ -- قرن ۲۰م,منطق -- تاریخ -- قرن ۲۰م,ریاضیات -- فلسفه -- تاریخ -- قرن ۲۰م,فلسفه و علم -- تاریخ -- قرن ۲۰م,فلسفه جدید -- قرن ۲۰م
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
75. مبانی فلسفی منطق شهودی
پدیدآورنده : نبوی لطف اله, حجتی سیدمحمدعلی, علایی نژاد حمید
کتابخانه: (طهران)
موضوع : اصل طرد شق ثالث;براوئر;منطق شهودی;ساخت گرایی براوئری;شهود گرایی;
76. مدخل منطق صورت ، یا، منطق ریاضی
پدیدآورنده : مصا‌حب، غلامحسین، ۱۲۸۹- ۱۳۵۸
کتابخانه: كتابخانه مركز پژوهشي دائرة المعارف علوم عقلي اسلامى (قم)
موضوع : منطق ریاضی,قرن ۲۰م. منطق,منطق,ریاضیات - فلسفه
77. مفهوم نگاشت : يک زبان فرمولي انديشه محض ساخته شده بر اساس الگوي زبان فرمولي علم حساب به ضميمه شرحي از آنتوني کني
پدیدآورنده : /گوتلوب فرگه,فرگه، گوتلوب، ۱۸۴۸ - ۱۹۲۵ م.,Frege, Gottlob
کتابخانه: (خراسان رضوی)
موضوع : رياضيات - فلسفه,منطق رياضي
رده :
۵۱۰
/
۱
ف
۵۵۶
م
78. مفهوم نگاشت یک زبان فرمولی اندیشه محض ساخته شده بر اساس الگوی زبان فرمولی علم حساب به ضمیمه شرحی از آنتونی کنی
پدیدآورنده : گوتلوب فرگه
کتابخانه: مكتبة الشيخ بهائي (خراسان رضوی)
موضوع : ریاضیات^aفلسفه,منطق ریاضی
رده :
QA
۹
/
ف
۴،
م
۷
79. مفهوم نگاشت: یک زبان فرمولی اندیشه محض سا‌خته‌شده براسا‌س الگوی زبان فرمولی علم حساب
پدیدآورنده : فرگه، گوتلوب، ۱۸۴۸ - ۱۹۲۵م.
کتابخانه: كتابخانه عمومي آيت الله حائري (فيضيه) (قم)
موضوع : ریاضیات -- فلسفه,منطق ریاضی
رده :
QA
۹
/
ف
۴
م
۷
80. مفهوم‌نگاشت
پدیدآورنده : / گوتلوب فرگه,عنوان اصلي: 1879 Begriffsschrift: eine der arithmetischen nachgebildete formelsprache des reinen denkens, c,فرگه,Frege
کتابخانه: مكتبة الإمام الرضا عليه السلام "گناباد" (آستان القدس الرضوية) (خراسان رضوی)
موضوع : رياضيات -- فلسفه,منطق رياضي
رده :
۵۱۰
/
۱
ف
۵۵۶
م
